Nuprl Lemma : es-state-eta 0,22

es:ES, i:Id, s:state@i. (x.s(x)) = s 
latex


Definitionsstate@i, s = t, <a,b>, x:AB(x), vartype(i;x), x:AB(x), t  T, ES, x.A(x), f(a), Id
LemmasId wf, event system wf, es-vartype wf

origin